recursive binary search algorithm